perm filename PPSAVE.TMP[1,JMC]3 blob sn#767839 filedate 1984-09-08 generic text, type T, neo UTF8
1. (ASSUME |∃X.P(X)|)
;deps: (1)

2. (DEFINE A |P(A)| (USE 1))
;deps: (1)

3. (AXIOM |∀X.P(X)⊃Q|)

4. (DERIVE |Q| (2 3) NIL)
;deps: (1)